difference between int and int32 in c